منابع مشابه
Inductive characterisation of database relations
The general claims of this paper are twofold: there are challenging problems for Machine Learning in the field of Databases, and the study of these problems leads to a deeper understanding of Machine Learning. To support the first claim, we consider the problem of characterising a database relation in terms of high-level properties, i.e. attribute dependencies. The problem is reformulated to re...
متن کاملLogical Relations and Inductive/Coinductive Types
We investigate a calculus with positive inductive and coin-ductive types , which we call ;; , using logical relations. We show that parametric theories have the strong categorical properties, that the rep-resentable functors and natural transformations have the expected properties. Finally we apply the theory to show that terms of functorial type are almost canonical and that monotone inductive...
متن کاملRelations between inductive reasoning and deductive reasoning.
One of the most important open questions in reasoning research is how inductive reasoning and deductive reasoning are related. In an effort to address this question, we applied methods and concepts from memory research. We used 2 experiments to examine the effects of logical validity and premise-conclusion similarity on evaluation of arguments. Experiment 1 showed 2 dissociations: For a common ...
متن کاملRelations between premise similarity and inductive strength.
According to the diversity principle, diverse evidence is strong evidence. There has been considerable evidence that people respect this principle in inductive reasoning. However, exceptions may be particularly informative. Medin, Coley, Storms, and Hayes (2003) introduced a relevance theory of inductive reasoning and used this theory to predict exceptions, including the nondiversity-by-propert...
متن کاملSimilarity And Contrast Relations And Inductive Rules
This paper considers how comparison relations can be integrated within an RST-like model of discourse. We will consider two relations, SIMILARITY (prototypically signalled by connectives like also and too) and CONTRAST (prototypically signalled by connectives like whereas and while). On the face of it. such relations should be easy to fit within an account like RST's. However, they each exhibit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1927
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1927-04419-6